functor IrMain (S : IR_MAIN_STRUCTS) : IR_MAIN =
struct
  open S
  
  structure Ir = Ir
  
  structure Shrink = Shrink (structure Ir = Ir)
  
  fun shrink f = Shrink.shrink f
end
